
Exit subproof

Перевод exit subproof на русский язык
exit subproof
He should exit the subproof once the conclusion is reached.
Он должен выйти из поддоказательства, как только будет достигнуто заключение.